Ipragliflozin L-proline